* chore: new SPEC file

* feat: entities and permissions

* feat: contracts and public interfaces

* feat: integrate contract storage into sec 2.

* feat: notes, incl properties, storage, consumption

* feat: match Rust fields for note spec

* docs: update SPEC.md for resolved issues and current bridge design

* docs: address review comments on SPEC.md

- Update baseline to "to-be-tagged v0.14-alpha"
- Add explanation for why native claim amount is verified (avoids
  expensive U256 division inside the VM)
- Simplify addr output notation to addr(5)

https://claude.ai/code/session_01UDgsAS2j2CFrTLsDoLiSUN

* chore: update docs to match latest agglayer branch

* docs(AggLayer): Ethereum <> Miden address conversion specification (#2513)

* docs: add Section 5 — Ethereum ↔ Miden address conversion spec

Comprehensive specification of the address conversion encoding between
Ethereum 20-byte addresses and Miden AccountId (two field elements),
covering the embedded format, MASM limb representation, Rust and MASM
conversion procedures, endianness details, and roundtrip guarantees.

Addresses #2229

https://claude.ai/code/session_01YabAhXZeStAkKkYwBcXXFh

* Apply suggestions from code review

Update crates/miden-agglayer/SPEC.md

Update crates/miden-agglayer/SPEC.md

Update crates/miden-agglayer/SPEC.md

* fix: EthAddressFormat::from_account_id usage

* docs: clean up address conversion

---------

Co-authored-by: Claude <noreply@anthropic.com>

* chore: add sec 4. placeholder

* chore: add a note about encoding of u32s in note storage

---------

Co-authored-by: Claude <noreply@anthropic.com>